“卓越计划”引领下结构力学课程教学改革与实践

在阐述结构力学课程在卓越土木工程师培养中的重要地位的基础上,指出了以往结构力学教学中存在的不足,提出了加强理论与实践联系、加强定性能力的培养、加强对计算结果的研判、加强教师队伍建设等改进措施,以期提高结构力学课程教与学的质量,为同类学校提供一些借鉴。     

基于知识树的领域知识组织和应用*

在分析已有知识表示方法优缺点的基础上,提出一种高效的知识表达模型——概念知识树。概念知识树模型不仅结构性好、表达能力强,而且在应用中具有良好的适应性和延展性,现主要应用于信息检索和自然语言理解领域。以旅游领域为背景,用概念知识树作为表达模型建立相应的领域知识体系,并在此基础之上实现了一个旅游智能分析系统。该系统可在对用户需求(自然语言)进行一定程度语义理解的基础上,根据所建立的知识体系自动进行语义匹配,最终返回满足用户需要以及相关的旅游路线信息。     

关于建设工程安全监理工作的思考

监理单位和监理人员,在履行工程质量监理的同时,必须履行好安全监理的职能,掌握好国家的有关安全质量监理的职责、程序与内容,严格按规范标准实施安全监理,并把安全监理工作贯穿于施工的全过程。具体在施工安全监理工作中做到四个注重:1、注重监理工作的超前性;2、注重监理工作的及时性;3、注重监理工作的原则性;4、注重监理工作的主动性。     

刀具半径补偿中的过切处理

对刀具半径补偿中的过切现象进行了分析，重点讨论了在编程时解决这种现象的方法。     

巧用CL-02DS中文设定显示单元

本文介绍了利用CL－02DS中文设定显示单元，配合程序设计，使之实现记录功能。     

Conflict resolution effectiveness on the implementation efficiency and achievement of business objectives in IT programs: A study of IT vendors

ContextThe information technology (IT) field presents a unique context for the management of multiple projects because of the variety of stakeholders involved, the complexity of interdependencies among projects, and the frequent use of external vendors. In practice, IT vendors typically employ advanced project governance techniques such as program management to work effectively with the numbers and variety of clients while still pursuing the benefits of a single oversight. These structural features lend themselves to conflict across teams with individual requirements. However, little research exists on program management, much less in the IT context, that represents conflict across IT project teams.ObjectiveIn this study, the effectiveness of conflict resolution on the implementation efficiency and fulfillment of business objectives is studied through the lens of constructive controversy theories. A number of hypotheses are derived by tailoring the constructive conflict resolution concepts to IT context and making a comprehensive literature review to identify the mediator and dependent variables. A model is developed to consider the management of conflict across multiple projects combined into a single program.MethodA quantitative questionnaire related to the program environment was developed for five variables to include conflict resolution, cognition-based trust, interpersonal cooperation, business objectives and implementation efficiency. The hypotheses were tested by performing a survey study, where a number of well-established measures in the literature were used. 92 paired responses from program teams in 38 organizations located in India were obtained and represent a variety of individual characteristics, and program sizes.ResultsThis study identified the composite role of constructive conflict resolution and cognition-based trust in improving interpersonal cooperation. The impacts of constructive conflict resolution on business objectives were not fully mediated by cognition-based trust and interpersonal cooperation, although implementation efficiency is fully mediated.ConclusionThe management of conflict promotes trust and interpersonal cooperation necessary to improve the efficient completion of the program and benefits to the organization.     

利用变量状态转换模型进行部分软件错误的检测

应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。     

面向自动修复并融合失效场景的缺陷定位方法

为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。     

Understanding user intent on the web through interaction mining

Predicting the goals of internet users can be extremely useful in e-commerce, online entertainment, and many other internet-based applications. One of the crucial steps to achieve this is to classify internet queries based on available features, such as contextual information, keywords and their semantic relationships. Beyond these methods, in this paper we propose to mine user interaction activities to predict the intent of the user during a navigation session. However, since in practice it is necessary to use a suitable mix of all such methods, it is important to exploit all the mentioned features in order to properly classify users based on their common intents. To this end, we have performed several experiments aiming to empirically derive a suitable classifier based on the mentioned features.     

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。